S($x$,$y$,$z$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$($z$,$y$($z$))